Move promotion rule application to C front-end [blocks: #3725, #3800]#3770

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup-promotiontautschnig/cbmc:cleanup-promotionCopy head branch name to clipboard