Partial revert of #1898 (always_inline support, second attempt)#2553

kroening merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:always-inline-partial-reverttautschnig/cbmc:always-inline-partial-revertCopy head branch name to clipboard