nitc :: ReachingDefsAnalysis :: gen
current_outset
# Generate a new variable definition in the `current_outset`. fun gen(variable: Variable, location: Location) do current_outset.add(new VarDef(variable, location)) end