public ExprItem(TransitionConditionExpr expr)
{
this.Op = null;
this.Priority = int.MaxValue;
this.Expr = expr;
}
public TlaTransitionConditionFormula(TransitionConditionExpr expr)
{
this.Expression = expr;
}
