save location stack in domain (@stack) instead of using a ref -> fixpoint for functions is reached now
save location stack in domain (@stack) instead of using a ref
-> fixpoint for functions is reached now

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