refactor child traversal, introduce proceed alias