Searching in tools/verification/dot2