Fixed the Category Law check in DiscreteDomainSpec