Revise examples for IEEE_search and IEEE_count