Member predicate StringOps::ConcatenationNode::isRoot

Holds if this is the root of a concatenation tree, that is, it is a concatenation operator that is not itself the immediate operand to another concatenation operator.