add test for row1_invariant