Adding an instantiate tactic.