Redesign of the product differentiation in the reverse mode

[ovdiiuv]

When differentiating product right side isn't always differentiated but simply being cloned.

      if (!ShouldRecompute(R)) { 
                 ...
      } else {
        RResult = StmtDiff(Clone(R));
      }

That causes errors such as in #1014 and potentially many others.