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 kobe.xorp.net on Wed Jan 7 19:11:01 2009, using kdoc 2.0a54+XORP.