Remove __annonCompField offsets from witness invariants#1874

sim642 wants to merge 1 commit intomastergoblint/analyzer:masterfrom

witness-invariant-anon-comp-fieldgoblint/analyzer:witness-invariant-anon-comp-fieldCopy head branch name to clipboard