Lines Matching defs:succ