This instruction checks if the top of the stack contains an ElemBool. If it
is false, the current term is exited [execution continues at next term]. If
not, normal execution continues.
INSTR_VISITABLE ()
INSTR_VISITABLE
Generated by: pavlin on possum.icir.org on Wed Mar 21 11:23:40 2007, using kdoc $.