Si se usa la estrategia de mínimo compromiso, las variables que no sean parámetros de un operador, como no necesitan matchear con nada por el momento, no quedarán ligadas, y se dejará esa decisión para más adelante, evitando el "backtracking".