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
Binds and multiple binds are now allowed to use patterns and not only identifier patterns
Added nine tests to exercise generation of binds that use different patterns
Added support for bind tests
Added the 'continue' statemement to the IR
Fix for method used to replace nodes in the IR
Changed IR nodes such that they are allowed to be 'tagged' with additional information. This will be used to assist later IR transformations.
Updated the pattern transformation to transform patterns used in binds and multiple binds
Updates to some test results related to generation of the let be st expression/statement
Extended iteration strategies with the possibility to add statements prior to entering a loop. This is used to reset the success variable before entering nested loops when generating the let be st expression/statement
Added tests that exercise code generation of combined use of multiple binds and patterns
Fix: The type for the sub sequence expression was never set in the IR
Added missing case in utility method in the type assistant
Merge remote-tracking branch 'origin/test' into pvj/main
Applied the Overture code formatter to core/codegen