Parameter MakeFromDotModel.TreeManipulation

val is_ghost_node : Tree.V.t -> bool