Merge pull request #1912 from goblint/base-set-refactor

Extract subfunctions from base analysis `get` and `set`

Author: sim642