private AttributedStatement VisitAttributedStatement(AttributedStatement attributedStmt)
{
attributedStmt.Attributes = this.VisitAttributeList(attributedStmt.Attributes);
attributedStmt.Statement = (Statement)this.Visit(attributedStmt.Statement);
return attributedStmt;
}