EquivSplit rewritters and ugly stuff