Synthesis-Guided Partial Hierarchy Collapsing