Add purity checks for predicate access arguments#721

marcoeilers merged 1 commit into

viperproject:masterviperproject/silver:masterfrom

vfukala:pred-acc-arg-purity-checkvfukala/silver:pred-acc-arg-purity-checkCopy head branch name to clipboard