flow_graph: Add attach_liveness