Lines Matching defs:Succ1