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