Handle calls with VLA as args
Handle calls with VLA as args

Change cast_addr to work on types with non-const array sizes removed

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