The PR #3624 addressed a problem that created invalid Orderings, in the context of this issue, I am defining an invalid Ordering as an ordering which claims has more than one independent directional ordering parts. For example: a↑, b↑, c[:isNULL] where a and b are independent from each other.

We should add a sanity check that fails when the caller attempt to create such an Ordering.