Revert "inappropriate reuse of heuristic-child-sorts"

This reverts commit c0c9e371bd6d7409e9e2f9e26dc3c04518129601.