Rename inference files and classes post refactor

pkg/compiler/lib/src/inferrer/locals_handler.dart

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
-library inferrer_visitor;
+library locals_handler;
 
 import 'dart:collection' show IterableMixin;
 
-import '../common.dart';
 import '../options.dart' show CompilerOptions;
-import '../compiler.dart' show Compiler;
-import '../constants/constant_system.dart';
-import '../constants/expressions.dart';
-import '../elements/resolution_types.dart';
 import '../elements/elements.dart';
-import '../resolution/operators.dart';
-import '../resolution/semantic_visitor.dart';
-import '../resolution/tree_elements.dart' show TreeElements;
 import '../tree/tree.dart';
-import '../types/constants.dart' show computeTypeMask;
-import '../types/types.dart' show TypeMask;
-import '../universe/call_structure.dart' show CallStructure;
-import '../universe/selector.dart' show Selector;
 import '../util/util.dart';
-import '../world.dart' show ClosedWorld;
 import 'inferrer_engine.dart';
 import 'type_graph_nodes.dart';
 import 'type_system.dart';
 
 /**
  * A variable scope holds types for variables. It has a link to a
  * parent scope, but never changes the types in that parent. Instead,
  * updates to locals of a parent scope are put in the current scope.
  * The inferrer makes sure updates get merged into the parent scope,
  * once the control flow block has been visited.
@@ skipping 508 matching lines @@
       if (newType != type) {
         locals[variable] = newType;
       }
     });
   }
 
   void updateField(Element element, TypeInformation type) {
     fieldScope.updateField(element, type);
   }
 }