Don't simplify guard to skip instructions#4307

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/fix/dont-simplify-guardsmowton/cbmc:smowton/fix/dont-simplify-guardCopy head branch name to clipboard