Fix slicing bug related to Evaluate Query#3393

FliegendeWurst wants to merge 7 commits into

KeYProject:mainKeYProject/key:mainfrom

FliegendeWurst:slicing-fixFliegendeWurst/key:slicing-fixCopy head branch name to clipboard