Table cil_adder

predicate cil_adder(@cil_event event, @cil_method method)