Force the guard to false_exprt() whenever false is added to the conjunction#3

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:fix-guardt-addtautschnig/cbmc:fix-guardt-addCopy head branch name to clipboard