equality of vars and terms working