let term_closed t = Fol.e_closed [] t