Interleaving the Color Stack #3

if (s[top] == purple) {

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

push(blue);

} else {

ASSERT(s[top] == blue);

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

push(purple);

}

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