Searched refs:OneSuccessorDone (Results 1 – 1 of 1) sorted by relevance
1703 bool OneSuccessorDone = false; in convertToGuardPredicates() local1713 if (!Succ0 || !Succ1 || OneSuccessorDone) { in convertToGuardPredicates()1718 OneSuccessorDone = true; in convertToGuardPredicates()