Microsoft.Z3.Expr.ToString C# (CSharp) Method

        public override string ToString()
        {
            return base.ToString();
        }

 string LookupVarName(Expr var)
 {
     if (__lookupVarName == null)
         return var.ToString();
     else
         return __lookupVarName(var);
 }