Function find_assignments 

fn find_assignments(body: &Body<'_>, local: Local) -> Vec<Location>

Finds all statements that assign directly to local (i.e., X = …) and returns their locations.