org.eclipse.viatra.solver.language.ide.ProblemIdeSetup