use mapping from callstack to predecessor nodes to simulate context
use mapping from callstack to predecessor nodes to simulate context

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