Kodkod on the Tree Coloring Page