Add workaround for misparsed casts#767

schuessf wants to merge 5 commits intodevultimate-pa/ultimate:devfrom

wip/fs/cast-workaroundultimate-pa/ultimate:wip/fs/cast-workaroundCopy head branch name to clipboard