Fix transitive arithmetic transforms.