let cnstrnt s x =
  let (x, rho) = find s x in
    try
      let (c, tau) = Term.Var.Map.find x s.cnstrnt in
        (c, Jst.dep2 rho tau)
    with
        Not_found -> 
          let c = Term.Var.cnstrnt_of x in
            (c, rho)