Extract some methods from ci lazy methods#2302

romainbrenguier merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:refactor/ci-lazy-methodsromainbrenguier/cbmc:refactor/ci-lazy-methodsCopy head branch name to clipboard