Synthesizing Structured Traversals from Attribute Grammars