It optimizes for two cases:
+ The case when every node in the interference graph has degree less
than K and is therefore trivially K-colorable.
+ The case when some node in the interference graph is K-colorable
using simplify's node-subtraction heuristic. Therefore, no spilling
will take place and no spill costs need be taken into account.
git-svn-id: svn://10.0.0.236/trunk@26282 18797224-902f-48f8-a5cc-f745e15eee43