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 Apr 13 21:53:13 2005, using kdoc $.