private int test(PumpingLemma.SymbolicString s)
{
Console.WriteLine("" + s + " two-splits into: ");
var twoSplits = s.TwoSplits();
foreach (var twoSplit in twoSplits)
Console.WriteLine("\t" + twoSplit.ToString());
return twoSplits.Count();
}
