Predicate UnsupportedStateUpdateInLifecycleMethod::isUnconditionalCall

Holds if call is guaranteed to occur in its enclosing function, unless an exception occurs.

predicate isUnconditionalCall(CallNode call)