Eliminate exception from dest_iff