org.eclipse.viatra.dse.api.strategy.interfaces