in Code_Analysis/DFAchecks.cpp [11:22]
void do_shadow_color(int shadow) {
Color cl1, cl2;
if (shadow)
cl1 = Color::Red, cl2 = Color::Blue;
else
cl1 = Color::Green, cl2 = Color::Yellow;
if (cl1 == Color::Red || cl2 == Color::Yellow) {
}
}