Table cil_specialname

predicate cil_specialname(@cil_method id)