let cnstrnt s =
  Trace.func "foo" "Cnstrnt" Term.pp Sign.pp (cnstrnt s)