Es una forma (en mi opinión enredada) de verificar los cuatro limites. Su base es utilizar el hecho que el operador "&&" es un operador de corto circuito, lo que ello significa es:

* Si el operando a la izquierda de "&&" es falso ("false" o bien el valor cero) ese es el resultado de la expresión y el operando de la derecha no se evalúa.

* Si el operando a la izquierda es verdadero el resultado del operador "&&" esta dado por la expresión a la derecha. En el caso de tu función ello se garantiza con la inicialización:

bool result = true;

Otra forma de verificar los cuatro limites sin el uso de la variable como tampoco asignaciones repetidas (en buen cristiano con el mismo efecto) es:

bool Contains(const b2AABB& aabb) const
{
   return lowerBound.x <= aabb.lowerBound.x 
      && lowerBound.y <= aabb.lowerBound.y
      && aabb.upperBound.x <= upperBound.x 
      && aabb.upperBound.y <= upperBound.y;
}

Un saludo