Do we really need all this complexity? Has the alternative (always use coloring) been benchmarked? (If so and it's been discusses, sorry that I missed it, I stopped following the discussion at some point.)