Searching in src/Testcases/YosysTestSuite/simple_abc9