static boolean definitionNameP(Symbol name) {
    { String nameString = name.symbolName;

      return ((nameString.length() > 2) &&
          ((nameString.charAt(0) == 'D') &&
           ((nameString.charAt(1) == 'E') &&
            (nameString.charAt(2) == 'F'))));
    }
  }