comment that the mapping might return old fundecs for old pseudo-return nodes in and incremental run
comment that the mapping might return old fundecs for old pseudo-return nodes in and incremental run

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