+ putStr "prop_all_volumes_positive... "
+ quickCheckWith qc_args prop_all_volumes_positive
+
+ putStr "prop_front_face_volumes_positive... "
+ quickCheckWith qc_args prop_front_face_volumes_positive
+
+ putStr "prop_top_face_volumes_positive... "
+ quickCheckWith qc_args prop_top_face_volumes_positive
+
+ putStr "prop_v0_all_equal... "
+ quickCheckWith qc_args prop_v0_all_equal