Enabled LightUp's WhiteInLight rule. Tree now colors correctly after
loading a proof.