let term_of_var v =  Fol.e_var v