Searching in src/test/examples/assumevalues3