finish body pretty_printer and fully test the successor