Add several 'try's and narrow variables to respective function
Add several 'try's and narrow variables to respective function

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