Use Phi from let's body to decide containment

We were using the local bind phi, which would probably not be updated with
the proper use inside the body.