ApplicationException badTree (Node node)
 {
     throw new ApplicationException (node.ToString ());
 }