Add tests for multiline preconditions and invariants#408

Eric-Vin merged 1 commit intoBerkeleyLearnVerify:mainBerkeleyLearnVerify/Scenic:mainfrom

lola831:multiline-precond-invariantslola831/Scenic:multiline-precond-invariantsCopy head branch name to clipboard