let unlet p = 
  let cpt = ref 0 in 
  let defs= ref ([] , 0) in 
  let p' = unlet_pred Vmap.empty Vset.empty defs cpt p in 
  (fst !defs),p'