[prover][wip] fix bv analysis

[rahxephon89]

Description

How Has This Been Tested?

Key Areas to Review

Close #12501

Type of Change

• New feature
• Bug fix
• Breaking change
• Performance improvement
• Refactoring
• Dependency update
• Documentation update
• Tests

Which Components or Systems Does This Change Impact?

• Validator Node
• Full Node (API, Indexer, etc.)
• Move/Aptos Virtual Machine
• Aptos Framework
• Aptos CLI/SDK
• Developer Infrastructure
• Move Compiler
• Other (specify)

Checklist

• I have read and followed the CONTRIBUTING doc
• I have performed a self-review of my own code
• I have commented my code, particularly in hard-to-understand areas
• I identified and added all stakeholders and component owners affected by this change as reviewers
• I tested both happy and unhappy path of the functionality
• I have made corresponding changes to the documentation

[trunk-io]

⏱️ 53m total CI duration on this PR

Job	Cumulative Duration	Recent Runs
rust-move-tests	14m	🟩
rust-move-tests	13m	🟩
rust-move-tests	13m	🟩
rust-cargo-deny	5m	🟩 🟩 🟩
check-dynamic-deps	4m	🟩 🟩 🟩
general-lints	2m	🟩 🟩 🟩
semgrep/ci	1m	🟩 🟩 🟩
file_change_determinator	36s	🟩 🟩 🟩
permission-check	10s	🟩 🟩 🟩
permission-check	6s	🟩 🟩 🟩

_{settings ⋅ feedback ⋅ docs ⋅ learn more about trunk.io}