adding ..::AST::Info