Bottom-up TEGIS
Fixes here and there
Consider pathcond to extract known smaller values