Fixed a bug where some valid proofs (that used case rules) would be
considered invalid due to a helper function (BoardState.getFinalState())
that did not correctly handle branching. Corrected & added more detail
to error messages displayed in LEGUP_Gui.checkProof(). Fixed a wrong
description (nested negatives) in a comment for
BoardState.doesNotLeadToContradiction().