add comments about Set Debug Tactic Unification