proof: add structural WithInternals head witnesses#2113

Th0rgal merged 1 commit into

paloma/issue-2080-structural-withinternalslfglabs-dev/verity:paloma/issue-2080-structural-withinternalsfrom

paloma/issue-2080-structural-head-witnesseslfglabs-dev/verity:paloma/issue-2080-structural-head-witnessesCopy head branch name to clipboard