Searching in abc/src/proof/dch