ABT.MemberIterator.Next C# (CSharp) Method

        public void Next() => this.trace.Last().Next();

 public override void Iterate(MemberIterator iter, Action <Int32, Expr> action)
 {
     iter.InBrace();
     for (Int32 i = 0; i < this.initrs.Count; ++i)
     {
         this.initrs[i].Iterate(iter, action);
         if (i != this.initrs.Count - 1)
         {
             iter.Next();
         }
     }
     iter.OutBrace();
 }