iSplitL "persistent_hyp": Improve error
Currently, if I say iSplitL "H"
where H
is persistent, it says that H
has not been found. That's confusing, "H" exists -- but it looked in the spatial context only. The tactic should either accept persistent hypotheses or the error should say "... has not been found in the spatial context" or so.