string abstract domains section draft + minor adjustments