fix the missing case of ifz for ⟼⇓to⇓