added asserts for verifying M3 model equality