Fix the subregion analysis
Fix unsoundness in subregion analysis. The equation generation was totally wrong. However, I have no idea where I'm supposed to put a regression test in why3 (a session which should not prove).
Edited by Xavier Denis
Fix unsoundness in subregion analysis. The equation generation was totally wrong. However, I have no idea where I'm supposed to put a regression test in why3 (a session which should not prove).