fn mark_written(expr: &Expr<'_>, uninitialized: &mut HashSet<VariableId>)
Remove expr from uninitialized if it is a direct identifier or a tuple of identifiers.
expr
uninitialized