session set_str = NTP4Verif +
theories
  "set_str_Set_str_wmpn_set_str_bitsqtvc"
  "set_str_Set_str_wmpn_set_str_otherqtvc"
  "set_str_Set_str_wmpn_set_strqtvc"
