made SymbolicUnifier#simplifyMapEquality more deterministic