over-approximate