de.cau.cs.kieler.krep.compiler.main
Classes 
Ec2ceq
Ec2klp
Scade2klp