session my_sum = NTP4Verif +
theories
  "my_sum_Sum_u_sumqtvc"
  "my_sum_Sum_u_sum_accuracyqtvc"
  "my_sum_Bound_u_sum_constant_boundsqtvc"
  "my_sum_Combine_u_sum_accuracy_combineqtvc"
  "my_sum_Combine_u_sum_accuracy_combine_posqtvc"
