use SOLVER_TRANSACTION_OBSOLETE_IS_UPGRADE in transaction_print