Lines Matching defs:verifyRecursively