Rewrite (≠ s t) into (¬ (= s t)).