🐛 Bug

When alet clause uses receiver-style calls, no corresponding expression will be generated in the boogie file.

Example:

This does not work:

     let x = v.length();

While this works

    let x = vector::length();