/** Full dump for debugging */ public String dump() { return rdfNode.getLocalName() + siblings.dump() + " succ=" + dumpSet(succ) + ", succClose=" + dumpSet(succClosed) + ", pred=" + dumpSet(pred); }