Loop invariant asserts#588

andreistefanescu merged 4 commits intomainasymptotic-code/sui-prover:mainfrom

loop-invariant-assertsasymptotic-code/sui-prover:loop-invariant-assertsCopy head branch name to clipboard