pattern search results for sce\_eiffel\_operator