org.jcheck.exceptions

Errors  AssertionFailedError ImplicationFalseError