org.jcheck
Classes 
Arbitrary
Configuration
Implication