Top space propagation may fail for consistent domains

[bokner]

CPSolver.TSP.Example fails on this instance:
tsp_443.txt

The instance is satisfiable, as confirmed by MinZinc/MiniCP.