Table cil_protected

predicate cil_protected(@cil_member id)