Update 1.0.1:
Bugfix:
- Printing of assertions as C code
- Trace output from assertions
Addition:
- Injection of update lines