let find s x = 
  match x with
    | Term.Var _ ->
        (try post s x with Not_found -> Jst.Eqtrans.id x)
    | _ ->
        Jst.Eqtrans.id x