Searching in src/test/examples/assumenosideeffects4