pattern search results for sce\_eiffel\_default