traversal functionality for the Shift AST format