Some subgoals were not being localized in the head of the rule.