Table cil_parameter_out

predicate cil_parameter_out(@cil_parameter id)