nitc :: POSetConflictGraph :: crown
REQUIRE: is_colored
# The crown is composed by the elements that are: # * not part of the core nor the border # * are in single inheritance # REQUIRE: is_colored var crown = new HashSet[E]