Add comments about the logic of remembering the wrapper calls
Add comments about the logic of remembering the wrapper calls

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