Execution summary frame theorems (#1994)#2009

Th0rgal merged 4 commits into

mainlfglabs-dev/verity:mainfrom

task/1994-exec-summarieslfglabs-dev/verity:task/1994-exec-summariesCopy head branch name to clipboard