let fvar_of_cvar_at ~create tbl label v get_tau =
  get_var create (Some tbl) label v get_tau