addDiffFrac rule partially complete (denominator is correct)
addDiffFrac numerator has correct structure