[Bug][prover][compiler-v2] Using receiver syntax in specs causes boogie to crash

[gregnazario]

🐛 Bug

Proving doesn't work properly with receiver style syntax. Without it, works perfectly fine.

To reproduce

Code snippet to reproduce

    spec fun spec_is_none<Element>(self: Option<Element>): bool {
        self.vec.is_empty()
    }

Stack trace/error message

{
  "Error": "Move Prover failed: [internal] boogie exited with compilation errors:\n/Users/greg/git/aptos-core/aptos-move/framework/move-stdlib/boogie.bpl(8760,1): error: invalid UnaryExpression\n1 parse errors detected in /Users/greg/git/aptos-core/aptos-move/framework/move-stdlib/boogie.bpl\n"
}

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.