Removed getValue() and fixed StringConstant.toString() for dot output.