fundec claims the invariant that the physical objects are in one-to-one correspondence with varinfos:

And Goblint relies on this invariant by identifying functions by the underlying variable (ID).

In goblint/analyzer#603 (comment), I realized that #72 broke this invariant.
This is also easily seen in the code:

where the underlying variable is replaced unconditionally (of merge_inlines).