let name_of_var = Fol.Var.var_name