Apparently debug info value can actually be NULL. Implemented a guard against this corner case.
Merge branch 'develop' into svcomp2015