ValueDomain fix, move join etc. below casts, replace do_cast
ValueDomain fix, move join etc. below casts, replace do_cast

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