} else if(args[index].equals("-m") || args[index].equals("-model")) {
config.RECURSIVE = false;
maxSize++;
kindUpdate(Type.K_UNION,null);
kindUpdate(Type.K_NEGATION,null);
kindUpdate(Type.K_SET,new Kind(true,0,2,null));
kindUpdate(Type.K_LIST,new Kind(true,0,2,null));
// could do more
}
index++;
}