HomeIsabelle/Phabricator

adjusted T_sift_down: all primitives take 0 time.