Factoring DataflowWorklist out of LiveVariables and UninitializedValues analyses