Table cil_class

predicate cil_class(@cil_type id)