let cnstrnt s x =
  let (i, prf) = apply s x in
    Fact.mk_cnstrnt x i prf