Make AbstractTranslator.EnclosingScope public
Make AbstractTranslator.EnclosingScope public

This allows for some more use cases in Whiley2Boogie, in particular overriding
the visit mechanism.

Whiley/WhileyCompiler