Create a reduced test case to reproduce the bug