incoporate test_row0_invariant to lower_row_invariant
test cases for row0_invariant