Microsoft.Z3.AST.Equals C# (CSharp) Method

        public override bool Equals(object o)
        {
            AST casted = o as AST;
            if (casted == null) return false;
            return this == casted;
        }