Table cil_parameter_in

predicate cil_parameter_in(@cil_parameter id)