It does seem strange though that CAESAR doesnt offer the option to correct expansion stresses back to the cold modulus when the system is solved using the hot modulus, as per B31.3 319.2.2b(4).