Fix `InterpreterPaths.access_projection`

[sonmarcho]

The access_projection function does not exactly implement the semantics of LLBC when dereferencing a shared borrow. At this line we should dive inside the shared value only if the remaining path is not empty.

Note that the impact of this semantical change is very minor, so it's not a high priority.