let e_bool (c : boolean F.term) : integer F.term = 
    F.unwrap (F.e_call "ite" [F.wrap c;a_true;a_false])