change the search function
find equivalent and first steps for otransitions