Lines Matching defs:PredCheck