The problem was in the Clipper Library. I filed a bug report in GitHub and a fix has now been released. I have tested the fix with this particular example and can confirm that the correct result was returned.