     out-sets ; inline
 
 M: dataflow-analysis join-sets 2drop assoc-refine ;
+M: dataflow-analysis ignore-block? drop kill-block?>> ;
 
 FUNCTOR: define-analysis ( name -- )
 


:: compute-in-set ( bb out-sets dfa -- set )
    ! Only consider initialized sets.
    bb kill-block?>> [ f ] [
        bb dfa predecessors
        [ out-sets key? ] filter
        [ out-sets at ] map

GENERIC: block-order ( cfg dfa -- bbs )
GENERIC: successors ( bb dfa -- seq )
GENERIC: predecessors ( bb dfa -- seq )
GENERIC: ignore-block? ( bb dfa -- ? )

<PRIVATE

