A live-variable dataflow analysis.
Like MaybeLiveLocals, but does not mark locals as live if they are used in a dead assignment.
MaybeLiveLocals
