public Type typeCheck(SymbolTable stable) throws TypeCheckError {
Type type = _select.typeCheck(stable);
// Prefer to handle the value as a node; fall back to String, otherwise
if (type != null && !type.identicalTo(Type.Node)) {
/***
*** %HZ% Would like to treat result-tree fragments in the same
*** %HZ% way as node sets for value-of, but that's running into
*** %HZ% some snags. Instead, they'll be converted to String
if (type.identicalTo(Type.ResultTree)) {