let
help =
"Instanciate memory-dependent axioms (Experimental)."