Characteristic predicate GuardCondition :: GuardCondition
GuardCondition
(
)