let term_closed t = Fol.bad_term_closed [] t