Temporal Logic: fix s_until_with lowering for BDD#2006

kroening wants to merge 1 commit into

maindiffblue/hw-cbmc:mainfrom

dkr-fix-s-until-with-bdddiffblue/hw-cbmc:dkr-fix-s-until-with-bddCopy head branch name to clipboard