Some memory model simplifications#768

maul-esel wants to merge 20 commits intodevultimate-pa/ultimate:devfrom

wip/dk/memory-model-simplificationsultimate-pa/ultimate:wip/dk/memory-model-simplificationsCopy head branch name to clipboard