+symbol table binary search implementation