COLORED
if (COLORED(to_lock))
if (COLORED(ep->to_vertex))
if (COLORED(lock))
if (COLORED(lock))
if (COLORED(lck)) {
if (COLORED(lck)) {
if (COLORED(ep->to_vertex))