This branch improves xlang with support for variables modified
in local closures. Many examples have been added to regression tests,
see for example:

  /src/test/resources/regression/verification/xlang/valid/NestedFunState4.scala