Sets of branches that are correctly set up with all valid cases, but do
not lead to a single branch with no contradiction are now colored a
paler green, and a message is displayed. Changed the color of lit tiles
in LightUp.