b-search for program objects