session add_1 = NTP4Verif +
theories
  "add_1_Add_1_wmpn_add_1qtvc"
  "add_1_Add_1_wmpn_incrqtvc"
  "add_1_Add_1_wmpn_incr_1qtvc"
  "add_1_Add_1_wmpn_add_1_in_placeqtvc"
