Lines Matching defs:Succs