Fix updateCil; do not cause failure for zero statement instruction
Fix updateCil; do not cause failure for zero statement instruction

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