Allow quantifiers within loop invariants#6012

SaswatPadhi merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

ArenBabikian:loop-quantifiers-tempArenBabikian/cbmc:loop-quantifiers-tempCopy head branch name to clipboard