Microsoft.Automata.RegexToSMTConverter.ConvertNodeBeginning C# (CSharp) Méthode