fix locals and formals not being considered for max vid computation
fix locals and formals not being considered for max vid computation

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