public WhileAST sequenceStatements(WhileAST first, List <WhileAST> next) { var seq = new SequenceStatement(first as Statement); seq.AddRange(next.Cast <Statement>().ToList()); return(seq); }