Domain axioms should be checked for well-definedness

[alexanderjsummers]

While many sources of well-definedness can't happen in a domain axiom (no dependency on state, no calling functions with preconditions), potential division by zero can and should be checked for.