Added with-probe-axiom macro

Allows addition and automated removal of any axiom.