Add a code contract to print current order.