Searching in src/test/examples/assumevalues4