ad_invariant: Add cast to void* to both pointers if their typesignature do not match.
ad_invariant: Add cast to void* to both pointers if their typesignature do not match.

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