first version addDiffFrac rule