Publishing release V0.8.51
- Fix for incorrect encoding when a formal parameter is modified in the body of a method and is used in an \old or in an ensures in a chained comparison in the method's specification.
- Fix for #695: proper encoding for += (string concatenation)
- Added tests for #685, #695, #696, #698, #705
- Fixes for refining capability (#711)
- Implementation of string value data type for ESC (not yet for RAC)