Injects code fragments checking OCL contraints into user java code. The tool is started by
java tudresden.ocl.injection.Main
.