session stringCheck = NTP4Verif +
theories
  "stringCheck_StringCheck_concat_assoc"
  "stringCheck_StringCheck_concat_empty"
  "stringCheck_StringCheck_length_empty"
  "stringCheck_StringCheck_length_concat"
  "stringCheck_StringCheck_lt_empty"
  "stringCheck_StringCheck_lt_not_com"
  "stringCheck_StringCheck_lt_ref"
  "stringCheck_StringCheck_lt_trans"
  "stringCheck_StringCheck_le_empty"
  "stringCheck_StringCheck_le_ref"
  "stringCheck_StringCheck_lt_le"
  "stringCheck_StringCheck_lt_le_eq"
  "stringCheck_StringCheck_le_trans"
  "stringCheck_StringCheck_at_out_of_range"
  "stringCheck_StringCheck_at_empty"
  "stringCheck_StringCheck_at_length"
  "stringCheck_StringCheck_concat_at"
  "stringCheck_StringCheck_substring_out_of_range"
  "stringCheck_StringCheck_substring_of_length_zero_or_less"
  "stringCheck_StringCheck_substring_of_empty"
  "stringCheck_StringCheck_substring_smaller"
  "stringCheck_StringCheck_substring_smaller_x"
  "stringCheck_StringCheck_substring_length"
  "stringCheck_StringCheck_substring_at"
  "stringCheck_StringCheck_substring_substring"
  "stringCheck_StringCheck_concat_substring"
  "stringCheck_StringCheck_prefixof_substring"
  "stringCheck_StringCheck_prefixof_concat"
  "stringCheck_StringCheck_prefixof_empty"
  "stringCheck_StringCheck_prefixof_empty2"
  "stringCheck_StringCheck_suffixof_substring"
  "stringCheck_StringCheck_suffixof_concat"
  "stringCheck_StringCheck_suffixof_empty"
  "stringCheck_StringCheck_suffixof_empty2"
  "stringCheck_StringCheck_contains_prefixof"
  "stringCheck_StringCheck_contains_suffixof"
  "stringCheck_StringCheck_contains_empty"
  "stringCheck_StringCheck_contains_empty2"
  "stringCheck_StringCheck_contains_substring"
  "stringCheck_StringCheck_contains_concat"
  "stringCheck_StringCheck_contains_at"
  "stringCheck_StringCheck_indexof_empty"
  "stringCheck_StringCheck_indexof_empty1"
  "stringCheck_StringCheck_indexof_contains"
  "stringCheck_StringCheck_contains_indexof"
  "stringCheck_StringCheck_not_contains_indexof"
  "stringCheck_StringCheck_substring_indexof"
  "stringCheck_StringCheck_indexof_out_of_range"
  "stringCheck_StringCheck_indexof_in_range"
  "stringCheck_StringCheck_indexof_contains_substring"
  "stringCheck_StringCheck_replace_empty"
  "stringCheck_StringCheck_replace_not_contains"
  "stringCheck_StringCheck_replace_empty2"
  "stringCheck_StringCheck_replace_substring_indexof"
  "stringCheck_StringCheck_replaceall_empty1"
  "stringCheck_StringCheck_not_contains_replaceall"
  "stringCheck_StringCheck_to_int_gt_minus_1"
  "stringCheck_StringCheck_to_int_empty"
  "stringCheck_StringCheck_from_int_negative"
  "stringCheck_StringCheck_from_int_to_int"
