fix: require the trace proof term to start on the line of the closing brace#16

hwbehrens wants to merge 4 commits into

verse-lab:veil-2.0-previewverse-lab/veil:veil-2.0-previewfrom

hwbehrens:veil-2.0-previewhwbehrens/veil:veil-2.0-previewCopy head branch name to clipboard