[Bug][compiler-v2][prover] public(package) error when running aptos move prove -f

[rahxephon89]

🐛 Bug

When running the command `aptos move prove -f governance.move, following error is generated.

error: public(package) function `0x1::permissioned_signer::check_permission_exists` cannot be called from inline function `0x1::aptos_governance::check_governance_permission` because they are from different packages
    ┌─ /Users/tengzhang/aptos-core/aptos-move/framework/aptos-framework/sources/permissioned_signer.move:553:25
    │
553 │     public(package) fun check_permission_exists<PermKey: copy + drop + store>(
    │                         ^^^^^^^^^^^^^^^^^^^^^^^ callee
    │
    ┌─ /Users/tengzhang/aptos-core/aptos-move/framework/aptos-framework/sources/aptos_governance.move:179:13
    │
179 │             permissioned_signer::check_permission_exists(s, GovernancePermission {}),
    │             ------------------------------------------------------------------------ called here