new signatures for splicing functions, new postorder_dfs