Added names to AstPrinter