let
(=?=) t1 t2 pos =
CEquation
(pos, t1, t2)