Table cil_typeparam_new

predicate cil_typeparam_new(@cil_typeparameter tp)