/language-to-store/src/test/java/org/eclipse/viatra/solver/language/mapping/