Partial revert: restored some of Kalmer's poorly indented code.
Partial revert: restored some of Kalmer's poorly indented code.

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