/Application/org.eclipse.viatra.solver.language.ui.tests/src-gen/