Table cil_remover

predicate cil_remover(@cil_event event, @cil_method method)