value flow: fixed multivariable problem in condition