Searching in src/tests/restricted_traces