[Bug][prover][framework] spec in `vector.find` makes token minter fail to compile

[rahxephon89]

🐛 Bug

see aptos-labs/token-minter#81

A clear and concise description of what the bug is.
To report a security issue, please email security@aptoslabs.com.

To reproduce

Code snippet to reproduce

# Your code goes here
# Please make sure it does not require any external dependencies

Stack trace/error message

// Paste the output here

Expected Behavior

A clear and concise description of what you expected to happen.

System information

Please complete the following information:

• Aptos Core Version
• Rust Version
• Computer OS

Additional context

Add any other context about the problem here.

[github-actions]

This issue is stale because it has been open 45 days with no activity. Remove the stale label or comment - otherwise this will be closed in 15 days.