AIMA.Core.Logic.FOL.Parsing.AST.Function.getSymbolicName C# (CSharp) Method