[move-prover] fix hyper-edge constructor in borrow analysis #298_164

[sahithiacn]

Motivation

when constructing hyper-edges, reverse the edges first before flattening all the edges.

Have you read the Contributing Guidelines on pull requests?

Yes

Test Plan

CI/CD tests are covered.

[sahithiacn]

/canary

[bors-diem]

:sunny: Canary successful

[sahithiacn]

/land