Table cil_abstract

predicate cil_abstract(@cil_member id)