First Steps towards Deductive Verification of LLVM IR. - Dré van Oorschot; Marieke Huisman; Ömer Sakar (FASE, 2024)