Tree Size by Partial Backtracking | Synapse