addAxiom fixed, but native function call from Multiple such as new RegExp and s.replace() are still broken.