Module demand

Structs

• Demand
  Demanded variables from a certain point in the flow until the end of the function. Needs to be updates in backwards order.
• EmptyDemandReporter

Traits

• AuxCombine
• DemandReporter
  A reporting trait that reports each variables dup, drop and last_use positions.