public boolean isAncestor(KeyPath successor) {
		if (this.keys.length > successor.keys.length) {
			return false;
		}
		int len = this.keys.length;
		return Arrays.equals(this.keys, 0, len, successor.keys, 0, len);
	}
Check if this path is an ancestor of the given path

<p>
Equivalently, check if the given path is a successor of this path. A path is considered an
ancestor of itself. To check for a strict ancestor, use
{@code this.isAncestor(that) && !this.equals(that)}.

@param successor the supposed successor to this path
@return true if the given path is in fact a successor
Ghidra/Debug/Framework-TraceModeling/src/main/java/ghidra/trace/model/target/path/KeyPath.java