constraint generation for strings in plus