QuickCheck 2 - library for random testing of program properties