over-approximating