Table cil_internal

predicate cil_internal(@cil_member id)