ValueFlow: Simple multivariable control flow analysis to avoid FP when 'control variable' is used