bool includes(const Name& name) const { return constant != NULL && *constant == name;
bool includes(const Name& name, size_t column) const { const NameSet& names = domain.projection(column); return names.find(&name) != names.end();
  bool includes(const Name& name) const {    return constant != NULL && *constant == name;  }