let data_of_cvar_at_l tbl label vi get_tau =
  let fv = fvar_of_cvar_at ~create:true tbl label  vi get_tau in
    D1var (Some (vi, label), fv)