Add a code contract to saveOrderNewSessionIfNecessary, because this is good practice.