Update test; handle when tactic solves the goal