let print_statel stl =
  Format.print_string ("States : \n") ;
  List.iter print_state stl