support for domains with several tuples