/store/src/test/java/org/eclipse/viatra/