let cvar_of_var vinfo =
      define_vinfo vinfo; Model.Loc(vinfo, zero)