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