Table cil_instruction

predicate cil_instruction(@cil_instruction id, int opcode, int index, @cil_method_implementation impl)