checkpoint progress on proving [tree_names_distinct_prune_subtree]
checkpoint progress on proving [tree_names_distinct_prune_subtree]

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl