Board nodes that lead to a contradiction are now colored pale red.
Update to CaseLinkTree's icon.