let cp_time_sampling = new int_cp ~group ["time";"time_sampling"] ~short_name:"ts" 200
  "number of time steps while observing the automaton"