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 Aug 2 15:36:29 2006, using kdoc $.