The "Check" script does not (yet) know that only 2 of the exercises in SearchTree.v are required.