code: static boolean envelopeDisjointEnvelope_(Envelope2D env_a,
  			Envelope2D env_b, double tolerance, ProgressTracker progress_tracker) {
  		Envelope2D env_b_inflated = new Envelope2D();
  		env_b_inflated.setCoords(env_b);
  		env_b_inflated.inflate(tolerance, tolerance);
  		return !env_a.isIntersecting(env_b_inflated);
  	}
docs: Returns true if env_a is disjoint from env_b.