let name_of_var v = Fol.Var.var_name v