renamed DnfTransformer to make a more clear distinction with the new "DNFTransformer"