DD-Based Solution Function Computation does not provide graph-based constraints

[sjunges]

For sparse models, we have a graph analysis (ConstraintCollector) that provides the graph-preserving constraints. For DDs there is no such thing, and Storm emits a warning when exporting the solution function.