Add "Heap reference monotone" post condition for procedures that modify the Heap - #1099

Add "Heap reference monotone" post condition for procedures that modify the Heap#1099

thanhnguyen-aws wants to merge 11 commits into

strata-org:main2strata-org/Strata:main2from

thanhnguyen-aws:heapcountermonothanhnguyen-aws/Strata:heapcountermonoCopy head branch name to clipboard