Member predicate Completion::isValidFor
Holds if this completion is valid for control flow element cfe.
If cfe is part of a try statement and cfe may throw an exception, this
completion can be a throw completion.
If cfe is used in a Boolean context, this completion is a Boolean completion,
otherwise it is a normal non-Boolean completion.
predicate isValidFor(ControlFlowElement cfe)