Revert "Return location of if stmts to only be the head!" This was not supposed to go here. Stupid git!
Revert "Return location of if stmts to only be the head!"
This was not supposed to go here. Stupid git!

This reverts commit 076660b13eed8bd448cefd5a2579a922773341a6.

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