Reduces the binary expression node to a simpler expression.
The reduced expression.
If the CanReduce method returns true, this method should return a valid expression.
This method is allowed to return another node which itself must be reduced.