This test checks 5.3.4 "Overconstrained Geometry".