session lcp = NTP4Verif +
sessions
  "Why3STD"
theories
  "lcp_LCP"
  "lcp_LCP_not_eqseqqtvc"
  "lcp_LCP_lcpqtvc"
