/src/test/java/au/id/zancanaro/javacheck/statem/