height_is_ok       94 src/search.h   extern bool height_is_ok          (int height);
height_is_ok      242 src/search_full.cpp    ASSERT(height_is_ok(height));
height_is_ok      366 src/search_full.cpp    ASSERT(height_is_ok(height));
height_is_ok      718 src/search_full.cpp    ASSERT(height_is_ok(height));
height_is_ok      802 src/search_full.cpp    ASSERT(height_is_ok(height));
height_is_ok      177 src/sort.cpp      ASSERT(height_is_ok(height));
height_is_ok      478 src/sort.cpp      ASSERT(height_is_ok(height));
height_is_ok      567 src/sort.cpp      ASSERT(height_is_ok(height));
height_is_ok      668 src/sort.cpp      ASSERT(height_is_ok(height));
height_is_ok       82 src/value.cpp     ASSERT(height_is_ok(height));
height_is_ok      100 src/value.cpp     ASSERT(height_is_ok(height));