Member predicate Paths::ActionConfiguration::callableAlwaysPerformsAction

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

predicate callableAlwaysPerformsAction(Callable callable)