write_node_label
Instead of appending an empty label. Because it's conceptually simpler.
ResultsCursor::contains
Engine::new_gen_kill
AnalysisDomain
Analysis
use
Analysis::apply_{call_return_effect,terminator_effect}
FlowState
Domain