Fix problem with non-local local look ups.
Fix problem with non-local local look ups.

This fixes a strange problem with looking up items in the enclosing file
with a non-local name.

Whiley/WhileyTheoremProver