more progress on string constraints