Separate interface for solving under assumptions [depends: 4450, blocks: 4054]#4451

peterschrammel wants to merge 4 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:inremental-dp-assumptionspeterschrammel/cbmc:inremental-dp-assumptionsCopy head branch name to clipboard