Fixed a bug where the weakest equivalence relation wasn't being updated