eval: If multiple goals match a tactic, run them all.