let
eq_zone z1 z2 =
(* TODO: SMP *)
F
.p_eq (term_of_xzone z1) (term_of_xzone z2)