Member predicate SwitchCase :: isRule
Holds if this case is a switch labeled rule of the form ... -> ....
predicate
isRule
(
)