- Correcting some errors in the instrumentation regarding typed arguments
Merge branch 'compact_logger' of https://github.com/DIVERSIFY-project/sosies-generator into compact_logger