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)