Properly model precise lifetime when given an incomplete dataflow sequence.