let e_cond (c : boolean F.term) (a : 'F.term) (b : 'F.term) : 'F.term =
    F.unwrap (F.e_call "ite" [F.wrap c;F.wrap a;F.wrap b])