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);
}