This fixes a parsing bug in visit_restHead where the code was incorrectly indexing into node.children[0] before unpacking, which could break traversal for that grammar branch. The change now unpacks node.children directly, aligning the visitor with the actual parse tree structure and letting alias-removal logic continue to inspect boolExp and alias nodes correctly. In practice, this should make the alias cleanup pass more reliable for inputs that hit restHead.