basic working quickcheck without reduction of input
working example of failure case reduction