value flow: fix fp when conditional value is assigned