public static int NextBasicEvent(this FaultTree.FaultTree ft)
 {
     return(ft.reduce <int>(new MaxTerminalTransformer()) + 1);
 }
 public static int NextId(this FaultTree.FaultTree ft)
 {
     return(ft.reduce <int>(new FaultTreeMaxIdTransformer()) + 1);
 }