overapproximated