Member predicate StringOps::ConcatenationElement::getLastLeaf

Gets the last leaf in this concatenation tree.

For example, the last leaf of x + (y + z) is z.