Fixed bug where weakest equivalence relation wasn't being set