Adapt to new pred expr instance syntax#416

jcp19 wants to merge 3 commits into

masterviperproject/VerifiedSCION:masterfrom

new-syntax-pred-exprviperproject/VerifiedSCION:new-syntax-pred-exprCopy head branch name to clipboard