VALUE_MATE        399 src/search_full.cpp       value = VALUE_MATE(height+2); // does not work if the current position is mate
VALUE_MATE        400 src/search_full.cpp       if (value > alpha && board_is_mate(board)) value = VALUE_MATE(height);
VALUE_MATE        409 src/search_full.cpp       value = -VALUE_MATE(height+1);
VALUE_MATE        657 src/search_full.cpp          return VALUE_MATE(height);
VALUE_MATE        831 src/search_full.cpp       value = VALUE_MATE(height+2); // does not work if the current position is mate
VALUE_MATE        832 src/search_full.cpp       if (value > alpha && board_is_mate(board)) value = VALUE_MATE(height);
VALUE_MATE        841 src/search_full.cpp       value = -VALUE_MATE(height+1);
VALUE_MATE        956 src/search_full.cpp       return VALUE_MATE(height);