Runtime fixes and improvment, mostly related to Exp_CNS_NoSpec_DTEC