over-approximated