public String toString() {
    if (isFree)
      return "FREE";
    else if (isInvalid)
      return "INVALID-CONSTANT";
    else if (name != null)
      return name;
    else
      return "[CycConstant: " + guid.toString() + "]";
  }