title: How to generate code from LLVM which is then I want to given as the input to the Z3 prover
body: <p>I have to generate an intermediate code from LLVM and I have to given that as the input to the Z3 prover. Is it possible?</p>