Create initial quickcheck property for trees