Hierarchical Segmentation Satisfying Constraints | Synapse