Fix missing incremental warnings due to var_messages not being relifted
Fix missing incremental warnings due to var_messages not being relifted

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