add using std::binary_search to zdd.cc