Use expected_width parameter in flattening/boolbv_if to simplify error handling#3043

NlightNFotis merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

hannes-steffenhagen-diffblue:feature-invariant_cleanup-flattening-ifhannes-steffenhagen-diffblue/cbmc:feature-invariant_cleanup-flattening-ifCopy head branch name to clipboard