4C code analysis of high-margin quench propagation in a DEMO TF coil