string constraints now print with single quotes escaped