value flow: fixed fp for rhs in && and || expressions