let term_has_var = Fol.e_has_var (fun _ () -> false)