as CUDD seems to be a potential trouble maker: Is there a possibility to build storm without CUDD installed? Will that be feasible? This would also address https://github.com/moves-rwth/storm/issues/586
