Member predicate ActionConfiguration :: isAction
Holds if node
is an action.
predicate
isAction
(
ControlFlowNode
node
)