Bug fixes
Merge branch 'denver' of https://github.com/aleksandarmilicevic/poirot into denver

Conflicts:
	lib/slang/utils/sdsl_converter.rb