/language-mwe2/src/main/java/org/eclipse/viatra/solver/