edu.tum.cs.commons.assertion
Classes 
CCSMAssert
CCSMPre
Exceptions 
PreconditionException