formal-verification scoping placeholder#375

nayt9 wants to merge 1 commit intoCommitlabs-Org:masterCommitlabs-Org/Commitlabs-Contracts:masterfrom

nayt9:verificationnayt9/Commitlabs-Contracts:verificationCopy head branch name to clipboard