Lines Matching defs:AllSuccessors