Added more comments to explain the AST for nested rules