Fixed #6219 (valueFlowForward: better multivariable analysis needed to avoid FP)