let is_constant v =
  match v.var_def.vd_value with
    | Some _ -> true
    | None -> false