Searching in abc/src/bdd/mtr