let data_of_cvar_at tbl_opt label vi get_tau =
  let fv = get_var ~create:true tbl_opt label vi get_tau in
    D1var (Some (vi, label), fv)