push [swap pop] var true
STACK:
ENV: true := [ <procedure> ]
push [pop] var false
STACK:
ENV: false := [ <procedure> ]; true := [ <procedure> ]
push [var cond call cond erase cond] var ite
STACK:
ENV: ite := [ <procedure> ]; false := [ <procedure> ]; true := [ <procedure> ]
push 1 push 2 get true call ite
STACK: 2
ENV: ite := [ <procedure> ]; false := [ <procedure> ]; true := [ <procedure> ]
push 1 push 2 get false call ite
STACK: 1 2
ENV: ite := [ <procedure> ]; false := [ <procedure> ]; true := [ <procedure> ]