let mk_term node typ = Logic_const.term node typ