Loading safety analysis for KNF...