quickcheck-assertions layout