Added six tests to exercise generation of the sub sequence expression
Updated the VDM libraries used by the code generator to the most recent ones
Updated the codegen runtime with functionality to support generation of the subsequence expression
Added support for generation of the subsequence expression
Added test revealing problem with code generation of the apply object designator
Fix for generation of the apply object designator