gracefully handle single-equation case, where 'nchotomy' is 'True'
gracefully handle single-equation case, where 'nchotomy' is 'True'

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle