Add extract-over-extend simplification for partial-width extracts - #800

Add extract-over-extend simplification for partial-width extracts#800

Heizmann merged 4 commits into

devultimate-pa/ultimate:devfrom

wip/rvde/extract-over-extendultimate-pa/ultimate:wip/rvde/extract-over-extendCopy head branch name to clipboard