Member predicate StringOps::ConcatenationNode::isLeaf

Holds if this is a leaf in the concatenation tree, that is, it is not itself a concatenation.