Teach kmir to reduce SMIR K definitions over a set of CFG roots#845

sskeirik wants to merge 1 commit intomasterruntimeverification/mir-semantics:masterfrom

srs/multiple_roots_closureruntimeverification/mir-semantics:srs/multiple_roots_closureCopy head branch name to clipboard