Vineeth Kashyap

~~Marking this as draft to handle some false positives in "Aptos Move Test" tests in CI.~~

This PR is now ready for review.

@brmataptos @wrwg PTAL, I believe I have addressed your comments.

I just thought of two more items to cover in the test cases: 1. address blocks: ``` address 0x42 { module A { public fun foo() {} } module B...

Can be implemented using reaching definitions.

Related to #11270, but not the same (this bug shows divergent behavior for v1 vs v2, not just unexpected behavior).

Another transactional test that may be related to this bug: ``` //# publish module 0xcafe::vectors { use std::vector; fun make_vector(a: u64): vector { let x = vector[a, {a = a...

Could we close this PR?

@fEst1ck Your PR description currently says (for "removes edges where the source has only one successor and the target has only one predecessor"): ``` BB1: ... goto L2 ... BB2:...

@fEst1ck the PR description currently says, for "removes all jumps to the next instruction": `goto L; L` removed Perhaps you meant: `goto L; L` => `L`? That is, only `goto...