CombinedBinaryExpression is an implementation of BinaryExpression that
specifically attempts to mitigate the issues raised by expressions which
have a very deep leftmost branch.
Variation on allocation, where can optionally be specified any of:
- leading enclosing instance
- trailing anonymous type
- generic type arguments for generic constructor invocation