Avoiding the Prisoner’s Dilemma: Refining the Bruton Rule to Resolve the Split Over Neutral Term Substitution