let rec print_cttm_initializer = function
    CTTMinitExp e -> print_mexpr e
  | CTTMinitList l ->
      let rec continue = function
          [] -> ""
        | i::[] -> print_cttm_initializer i
        | i::l -> (print_cttm_initializer i)^", "^(continue l)
      in
      "{"^(continue l)^"}"