- improved SRL-analysis
- fixed some bugs
- added runtime