Support Visual Studio's __forceinline#2560

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:force-inlinetautschnig/cbmc:force-inlineCopy head branch name to clipboard