DiffFactorizer: modify some variable names, add comments