fixed a property test for the layering algorithm