session assigning_meanings_to_programs = NTP4Verif +
theories
  "assigning_meanings_to_programs_Sum_sumqtvc"
  "assigning_meanings_to_programs_Division_divisionqtvc"
