test case for xinyu to reproduce the assertion error.