feat: support postconditions on Laurel functions#668

fabiomadge wants to merge 1 commit intomainstrata-org/Strata:mainfrom

feat/function-postconditionsstrata-org/Strata:feat/function-postconditionsCopy head branch name to clipboard