Implemented quickcheck using Jansi
Implemented quickcheck using Jansi