Sanity is related to the concepts "reasonable, rational, judicious, sound".
So I'm defining a new term in computational mathematics, "sanity".
To "clean" and "purify" code, to show that it is "sane", run a "sanitizer",
not a "compiler".
The goal is to prove Axiom "sane".
Tim
(whether that term applies to the auhor is questionable)