CRA Quickcheck