public SwitchStatementBuilder Default(SourceLocation header, Statement body)
 {
     Contract.Requires(_default == false, "body", "Already has default clause");
     _cases.Add(Ast.DefaultCase(header, body));
     _default = true;
     return(this);
 }