Loading safety analysis for DFTK.DE...