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