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