Adds the test from the correctness-bug branch (we don't have the bug anymore) #555

Closed Alex-Fischman closed 4 months ago