let var_data m vi =
      let get_tau v = D.tau_of_ctype v.vtype in
      F.data_of_cvar_at_l m.variables m.label vi get_tau