Fix base evalbinop for supertop offset in zstd-thread-pool-add
Fix base evalbinop for supertop offset in zstd-thread-pool-add

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