Member predicate WhenBranch :: isElseBranch
Holds if this is an else
branch.
predicate
isElseBranch
(
)