is_not_zero: ensure equality test has exactly matching types#4170

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/fix/is-not-zero-type-consistencysmowton/cbmc:smowton/fix/is-not-zero-type-consistencyCopy head branch name to clipboard