Characteristic predicate IRGuardCondition :: IRGuardCondition
IRGuardCondition
(
)