Hornix: From LLVM IR to Constrained Horn Clauses and Back (Competition Contribution). - Martin Blicha; Jan Kofron; Oliver Glitta (TACAS (2), 2026)