pattern search results for sce\_eiffel\_identifier