checkNotNull(prefix, "prefix must not be null");
if(!(prefix.size() <= path.size())) {
return false;
}
for(int i = 0; i < prefix.size(); i++) {
SectionGrammarNode prefixNode = prefix.get(i);
SectionGrammarNode thisNode = path.get(i);
if(!prefixNode.equals(thisNode)) {
return false;
}
}
return true;