four variants are related by the following inclusion diagram:
:

where an upward edge denotes that the upper variant has strictly more primitive instructions than the lower. L1 and L2 are incomparable: L1 has x = y but not dec x; L2 has dec x but not x = y; L3 has both; L0 has neither.

At each nesting depth k this induces strict inclusions along the edges:
:

with Loop_k(L1) and Loop_k(L2)

1.Previous
3.Next