/Application/org.eclipse.viatra.solver.language/xtend-gen/