Improving test case to disprove #3677