Function collect_state_writes 

fn collect_state_writes<'hir>(
    hir: &'hir Hir<'hir>,
    stmts: &'hir [Stmt<'hir>],
) -> HashSet<VariableId>