public override void Visit(StateExpression stateExpression)
 {
 }
 public virtual void Visit(StateExpression stateExpression)
 {
     // Visit((Node)stateExpression);
     // Warning("TypeInference on StateExpression is not handled", stateExpression.Span);
 }
 /// <summary>
 /// Visits the specified state expression.
 /// </summary>
 /// <param name="stateExpression">The state expression.</param>
 public override void Visit(StateExpression stateExpression)
 {
     VisitDynamic(stateExpression.StateType);
     WriteSpace();
     VisitDynamic(stateExpression.Initializer);
 }
 public override Node Visit(StateExpression stateExpression)
 {
     // base.Visit(stateExpression);
     // Warning("TypeInference on StateExpression is not handled", stateExpression.Span);
     return stateExpression;
 }