nitc :: POSetGroupColorer :: used_colors
# Set of known used colors private var used_colors = new HashMap[H, HashSet[Int]]