over-approximates