Searching in SVIncCompil/Testcases/AmiqEth/sc