anchor.diff:      }
       LiteralString jsCode = node.arguments.head;
       String str = jsCode.dartString.slowToString();
  -    if (const RegExp(@'^[a-zA-Z][a-zA-Z_$0-9]*$').hasMatch(str)) {
  +    if (nativeRedirectionRegExp.hasMatch(str)) {
         nativeMethodName = str;
         isRedirecting = true;
       } else {
  
positive.code:   return token;
  }
  
  Token handleNativeFunctionBody(ElementListener listener, Token token) {
    checkAllowedLibrary(listener, token);
    Token begin = token;
  
negative.code:           null, <HInstruction>[thenInstruction, elseInstruction]);
        builder.current.addPhi(phi);
        builder.stack.add(phi);
      }
    } else {
      // This is JS code written in a Dart file with the construct
  