miniBDD: added a non-recursive variant of APPLY - #1144

miniBDD: added a non-recursive variant of APPLY#1144

kroening merged 2 commits into

masterdiffblue/cbmc:masterfrom

miniBDD-non-recursive-applydiffblue/cbmc:miniBDD-non-recursive-applyCopy head branch name to clipboard