Name of the function (defined in a separate file) to call the Axe rewriter.
Definition: *solve-call-axe-rewriter*
(defconst *solve-call-axe-rewriter* 'solve-call-axe-rewriter)