@Override
 public Statement syntaxCopy(SemanticContext context) {
   CaseStatement s =
       context.newCaseStatement(
           filename, lineNumber, exp.syntaxCopy(context), statement.syntaxCopy(context));
   s.copySourceRange(this);
   return s;
 }