Table cil_requiresecobject

predicate cil_requiresecobject(@cil_method id)