Interleaving the Color Stack #4

if (s[top] == purple) {

ASSERT(s[top-1] == blue);

push(blue);

} else {

ASSERT(s[top] == blue);

ASSERT(s[top-1] == purple);

push(purple);

}

Consider yield here on blue’s first call to PushColor().