@Override
public String toString() {
final String startString = start.toString();
final String endString = end.toString();
final StringBuilder sb = new StringBuilder(startString.length() + endString.length() + 6);
if (start instanceof ConstantValue || start instanceof ParameterReference)
sb.append(startString);
else sb.append('(').append(startString).append(')');
sb.append("..");
if (end instanceof ConstantValue || end instanceof ParameterReference) sb.append(endString);
else sb.append('(').append(endString).append(')');
return sb.toString();
}
