Lines Matching defs:SuccHasWeights