Complete rt-inconsistency check#784

hauff wants to merge 1 commit into

devultimate-pa/ultimate:devfrom

wip/mf/rtiPreCheckultimate-pa/ultimate:wip/mf/rtiPreCheckCopy head branch name to clipboard