Lines Matching defs:is_successor