overapproximating