public static String toPrettyString(Object obj) {
    if (obj instanceof String) {
      return "\"" + obj.toString() + "\"";
    } else if (obj instanceof CycList) {
      return ((CycList) obj).toPrettyString("");
    }
    return obj.toString();
  }