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

Code
> com/sphenon/basics/exception/ExceptionVerificationFailure
 * ExceptionAssertionProvedFalse

Description
A safety assertion check failed, i.e. an additional check which is neither a pre- nor a postcondition. Typical reasons include: programming errors, insufficiently validated data, or logical errors in program design (i.e. the assertion itself is in fact untrue).