Changed return types again. Now, we just return a list of tuples of
number of alternations, number of rounds, and distinguishing formulae
- if there are none, the defender wins.