Add tests for multiline preconditions and invariants#408

lola831 wants to merge 1 commit intoBerkeleyLearnVerify:mainBerkeleyLearnVerify/Scenic:mainfrom

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