Table cil_jump

predicate cil_jump(@cil_jump instruction, @cil_instruction target)