FGreedyConstraintColoring