Characteristic predicate IRParameter :: IRParameter
IRParameter
(
)