value flow: fixed fp for nested assignments