public NotExpr(TransitionConditionExpr child)
 {
     this.Child = child;
 }
 public BinaryExpr(TransitionConditionBinaryExprKind kind, TransitionConditionExpr left, TransitionConditionExpr right)
 {
     this.Left  = left;
     this.Right = right;
     this.Kind  = kind;
 }