Adding more invariants to the failing rename test.