session replay = NTP4Verif +
theories
  "replay_Top_lqtvc"
