change behaviors name in __po_hi_time_is_greater for pretty-printing