Simplify unfolds by reusing results of predicate verification#929

marcoeilers merged 18 commits into

masterviperproject/silicon:masterfrom

meilers_reuse_predicate_heapsviperproject/silicon:meilers_reuse_predicate_heapsCopy head branch name to clipboard