/language-web/xtext-gen/org/eclipse/viatra/solver/