Forgot to adapt the assertion in 308dece
Merge branch 'issue13-fix' into issue55

Conflicts:
	lib/Extractor/KLEEBuilder.cpp