adding RunSTac tactic.