El algoritmo puede hacerse "completo", ya que la elección de las precondiciones abiertas es conmutativa, de manera que no importa el orden en el cual se elijan las precondiciones abiertas, el algoritmo puede encontrar las mismas soluciones candidatas.