let eq_var = Fol.Var.equal