Error when changing reasoner from None to a reasoner

When changing the reasoner from None to e.g. HermiT the debugger does not recognize the change. When checking an inconsistent / incoherent ontology the debugger falsly classifies it as consistent/coherent.

This can also happen, when one changes from a valid reasoner to None and then switches back to a valid reasoner. Then also the debugger falsely classifies inconsistent ontology as consistent (& coherency)