While the following doesn't blow up the system, it's hard to argue that it should be allowed.
∇X ← X (X X X) X;X;X;X;X;X [1] ∇ 100 * X + 200 200
While the following doesn't blow up the system, it's hard to argue that it should be allowed.
∇X ← X (X X X) X;X;X;X;X;X [1] ∇ 100 * X + 200 200