ExprDiff: new test
ExprDiff: allow array of ExprNode instead of symbols