Characteristic predicate IRTempVariable :: IRTempVariable
IRTempVariable
(
)