run: If multiple goals match a tactic, at most one must have a CODE section.