Structs

Collect possible borrowed for every &mut local. For example, _1 = &mut _2 generate _1: {_2,…} Known Problems: not sure all borrowed are tracked