Use the discrimination trie for constraints and domain organization