-Renamed quickcheck spec
-Add tree version of smooth_perms