changed the quickcheck for trclos