Support ID_C_bool in exprt::is_zero#815

forejtv merged 1 commit intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

smowton:smowton/fix/c_bool_is_zerosmowton/cbmc:smowton/fix/c_bool_is_zeroCopy head branch name to clipboard