We note that, since the feasibility check of a route is actually an N P-Complete problem, it can happen that procedure Check-2L must be stopped whenever a prescribed time limit is exceeded without proving either the feasibility or the infeasibility of the given route