Microsoft.Automata.Z3.RankedAlphabet.GetRank C# (CSharp) 메소드