Adds unit test for U4-2556 to ensure that it is solved.