let cnstrnt p x =
  let (y, rho) = find p x in
    if Term.eq x y then 
      V.cnstrnt p.v x
    else 
      let (c, tau) = V.cnstrnt p.v x in
        (c, Jst.dep2 rho tau)