Use describe_varinfo for access locations
Use describe_varinfo for access locations

This should give more informative locations for alloc variables.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer