updated DifferentialExpr analysis