statement of wf_inter improved
inter eq same as lookup eq for sptrees