Loading TIQ analysis for CNF...