Add test case to reproduce #5