Remove type argument from do_update_offset, fix calls with incorrect offset type#1984

sim642 wants to merge 4 commits intomastergoblint/analyzer:masterfrom

valuedomain-do-offset-2goblint/analyzer:valuedomain-do-offset-2Copy head branch name to clipboard