AIMA.Core.Logic.FOL.Parsing.AST.TermEquality.getEqualitySynbol C# (CSharp) Method