C front-end: fix promotion order for types ranking lower than int#1751

kroening merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-1748tautschnig/cbmc:fix-1748Copy head branch name to clipboard