Added global variable translation for Axiom @