[move-prover] split loop information collection function and add comments for readability
[move-prover] split loop information collection function and add comments for readability

aptos-labs/aptos-core,aptos-labs/aptos-core,aptos-labs/aptos-core,libra/libra,aptos-labs/aptos-core,aptos-labs/aptos-core,libra/libra,aptos-labs/aptos-core,libra/libra,aptos-labs/aptos-core,libra/libra,libra/libra