Add commented out possible fix to unsound var_eq invalidate
Add commented out possible fix to unsound var_eq invalidate

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