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