Extended "ASTPrinter" class.