Try This Widget: Refining the check of a tactic

This is a continuation of the video where we checked validity of a tactic. Here we show how to add a `TryThis` widget if the tactic succeeds.