https://123dok.net/document/y961rm6j-inferring-sufficient-conditions-with-backward-polyhedral-under-approximations.html