Contract pass: assert postconditions in body for opaque procs - #48

Contract pass: assert postconditions in body for opaque procs#48

keyboardDrummer-bot wants to merge 4 commits into

issue-924-contract-and-proof-passkeyboardDrummer/Strata:issue-924-contract-and-proof-passfrom

contract-pass-separate-pre-postkeyboardDrummer/Strata:contract-pass-separate-pre-postCopy head branch name to clipboard