Incremental compilation of a kbase requires that all the ksessions created from that kbase are deactivated. Unfortunately a ksession in fireUntilHalt cannot be deactivated until somebody doesn't explicitly invokes halt on it.