constraint generation for string literals