Use varinfo isntead of string for Violation WP variable env
Use varinfo isntead of string for Violation WP variable env

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