/Application/org.eclipse.viatra.solver.language/src/org/eclipse/viatra/solver/language/validation/