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