Remove even previously inconsistent Deadcode handling in invariant
Remove even previously inconsistent Deadcode handling in invariant

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