CSE: disable summaries when prank or expectRevert is active#1025

palinatolmach wants to merge 3 commits into

masterruntimeverification/kontrol:masterfrom

cse-concrete-cellsruntimeverification/kontrol:cse-concrete-cellsCopy head branch name to clipboard