Support checking within declared lifetimes #764
Support checking within declared lifetimes #764

This adds support for checking the within relation for declared
lifetimes.  Previously, only the reflexive case and the static lifetime
were checked properly.  Now, all declared lifetimes in methods or
through named blocks are properly accounted for.

Whiley/WhileyCompiler