Do not generate necessarily dead instructions#73

kroening merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:no-dead-instructionstautschnig/cbmc:no-dead-instructionsCopy head branch name to clipboard