valid improvements on the correctness of the declaration use map
a lot less duplicate entries (when a struct field is adressed and a variable with the same name exists in the scope for example: int i; struct a; a.i = 0; or when usages are added as definitions)