Refactor invalidate_exp and collect_funargs to reduce redundant code
Refactor invalidate_exp and collect_funargs to reduce redundant code

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