let absurd term = apply_tactic (NegationTactics.absurd_tac ~term)
let contradiction () = apply_tactic NegationTactics.contradiction_tac
-let decompose term = apply_tactic (EliminationTactics.decompose_tac ~term)
+let decompose ~uris_choice_callback term =
+ apply_tactic (EliminationTactics.decompose_tac ~term ~uris_choice_callback)
(*
let decide_equality () = apply_tactic VariousTactics.decide_equality_tac