Dumping Z3 code from IR (IR --> Z3 converter)

I want to dump the Z3 equivalent code from the IR that is being generated. Is there any tutorial regarding that? I can see "**xls/xls/solvers/z3_ir_translator.cc**", "**xls/xls/solvers/z3_lec.cc**" and other relevant files, but I am unsure which functions to invoke or how to invoke them in which order. Any help would be appreciated.