User-constraints generation from skeleton working again.

TODO: We do not yet use the skeleton nodes within a section
to reduce the conflict sets (component trees) to only slices
that are compatible with unique skeletons, thus reducing the
set of segments to consider in the solution step further.