[Truffle] -Xtruffle.translator.print_asts= tool.