Fixed a bug in EquivClasses.java where the weakest equivalence relation wasn't being updated