use _ordered_warn_key for sorting Add and Mul args