Pass options to AST translators.