Lines Matching defs:Succ2