Dashed strings for string constraint solving