Added predicate KnightsTour.isComplete.