overapproximates