At most n*m steps are examined. Early Abort should also be introduced for this case.