feat: restricted usage of func with loop inv in pure functions#570

andrii-a8c merged 1 commit intomainasymptotic-code/sui-prover:mainfrom

pure-calle-loop-inv-restrictionasymptotic-code/sui-prover:pure-calle-loop-inv-restrictionCopy head branch name to clipboard