Artefact:Model/com/sphenon/basics/exception/ExceptionPostConditionViolation

Code
> com/sphenon/basics/exception/ExceptionContractViolation
 * ExceptionPostConditionViolation

Description
A postcondition of a method is not fulfilled, or the class invariant on method entry is not true (implicit postcondition).