@NotNull
    public String asStringWithAdditionalInfo() {
      TypeToStringVisitor visitor = new VerboseTypeInfoVisitor();
      accept(visitor);
      return visitor.getString();
    }
@NotNull
    public String asStringWithAdditionalInfo()