Function assigns_to 

fn assigns_to(gcx: Gcx<'_>, expr: &Expr<'_>, var: VariableId) -> bool

Whether an expression writes var: var = x, var += x, var++ or delete var, directly or as one component of a tuple.