Report invariants enforced by vacuous requirements#675

henkele wants to merge 2 commits into

devultimate-pa/ultimate:devfrom

wip/eh/vacuity-enforced-invariantsultimate-pa/ultimate:wip/eh/vacuity-enforced-invariantsCopy head branch name to clipboard