Domain Ordering

[ArquintL]

The order of domain functions and domain axioms in a domain should not influence the cacheing behavior in particular because axioms are treated as a global dependency. The current sorting of dependency hashes does not address this problem because domain functions and domain axioms must be sorted before calculating the domain's hash