Like https://github.com/pyta-uoft/pyta/issues/1294 but for class representation invariants.
Like #1294 but for class representation invariants.