let emptyTree = {
    treeEdges = IdtMap.empty;
    treeNodes = IdtMap.empty;
    starting_places = [];
    }