let
term_closed t =
Fol
.bad_term_closed [] t