let stars_var_type_typ = function 
  | Cv x -> stars_typ x.vtype
  | Lv lv ->  stars_lv_typ lv.lv_type 
  | Prop -> 0