redef ConstraintCollection to be a map
remove name member function