Can I get the generated CFA file?

[Lqs66]

Dear Developer. I noticed your tool by reading the paper "Gazer-Theta: LLVM-based Verier Portfolio with BMC/CEGAR (Competition Contribution)" and I found that the LLVM IR is converted into a CFA. I would like to know how do I get the CFA file? Also, why does your tool not support C++? Isn't it based on IR?