Searching in testing/test/MaximalStaticExpansion