Member predicate ActionConfiguration :: callAlwaysPerformsAction
Holds if every path through call
goes through at least one action node.
predicate
callAlwaysPerformsAction
(
Call
call
)