let
mk_ite p q r =
Ite
(p, q, r)