freeze.store.default.allowStoreCreation=true
cycles.maxNumberToDetect=100000
cycles.maxNumberOfDependenciesPerEdge=10000