Member predicate Paths::ActionConfiguration::callAlwaysPerformsAction

Holds if every path through call goes through at least one action node.

predicate callAlwaysPerformsAction(Call call)