Asserts: use fresh functions everytime, since we just print the results, it does not matter
Asserts: use fresh functions everytime, since we just print the results, it does not matter

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