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