value flow: fixed fp when while condition contains variable that is changed in loop body