a special Context flag to indicate that it's being in the process of
exploring its history (e.g. for computing definite subsumers) so it must
maintain history, even if it doesn't contain non-deterministic
conclusions at some point. this seems to fix the problem with deferred
generation of propagations in the ELK style.