de.cau.cs.kieler.krep.compiler.exceptions
Exceptions 
ClockException
TypeException