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