The user is now prevented from using different caserule justifications
on the same branchset. The tree is now colored automatically upon
loading a proof. Removed some leftover code from a partial fix to the
problems related to the tree after loading proofs.