Member predicate StackVariableReachability::StackVariableReachabilityWithReassignment::isSinkActual

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

predicate isSinkActual(ControlFlowNode node, StackVariable v)