Add hack to handle one-argument function calls in Violation WP
Add hack to handle one-argument function calls in Violation WP

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