intern: upgraded to new InnerNodeDownUpTraverser