Member predicate StringOps::ConcatenationLeaf::getNextLeaf

Gets the operand immediately succeeding this one in its parent concatenation.

For example, in (x + y) + z, the previous leaf for y is z.