Adding another test for invariants after recording