Member predicate StackVariableReachability::StackVariableReachabilityWithReassignment::isSourceActual

Override this predicate rather than isSource (isSource is used internally).

predicate isSourceActual(ControlFlowNode node, StackVariable v)