private boolean parentNeedsExpanding(Individual x) {
if(x.isRoot()) return false;
Individual parent = x.getParent();
return parent.canApply(Node.ATOM) || parent.canApply(Node.OR)
|| parent.canApply(Node.SOME) || parent.canApply(Node.MIN)
|| parent.canApply(Node.MAX);
}
private void expand(Individual x) {