Version 1.0.2
Extensions:
* Updates of specific lines
* Insertion of blocks in part of code
* Printing of line numbers in trace
* Preprocessing of error blocks in expressions
Bugfixes:
* Initial assignments to arrays
* Improved support for bit vector output
Minor changes:
* Updates in input flags