Attempt to negate constants to get asserts containing -k*v instead of +(-k)*v
Attempt to negate constants to get asserts containing -k*v instead of +(-k)*v

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