Member predicate StackVariableReachabilityWithReassignment::isSourceActual
Override this predicate rather than isSource (isSource is used internally).
predicate isSourceActual(ControlFlowNode node, StackVariable v)Override this predicate rather than isSource (isSource is used internally).
predicate isSourceActual(ControlFlowNode node, StackVariable v)