Adaption to changes in storm-dft #368

Job	Run time
Test and Deploy on latest (Debug)	13m 23s
Test and Deploy on latest (Debug)	18m 44s
Test on stable (Debug)	9m 44s
Test on stable (Debug)	9m 49s
Test and Deploy on latest (Release)	13m 41s
Test and Deploy on latest (Release)	18m 58s
Indepth Tests (Debug, all libraries)	13m 0s
Indepth Tests (Debug, all libraries)	18m 42s
Test on stable (Release)	10m 13s
Test on stable (Release)	10m 9s
Indepth Tests (Debug, no libraries)	13m 15s
Indepth Tests (Debug, no libraries)	15m 10s
Indepth Tests (Release, all libraries)	13m 14s
Indepth Tests (Release, all libraries)	17m 59s
Indepth Tests (Release, no libraries)	13m 14s
Indepth Tests (Release, no libraries)	16m 10s
Email notification	3s
Email notification	2s
	3h 45m 30s

Provide feedback