code: def use_technique(self, tech):
          
          if not isinstance(tech, ExplorationTechnique):
              raise SimulationManagerError
  
          # XXX: as promised
          tech.project = self._project
          tech.setup(self)
  
          HookSet.install_hooks(self, **tech._get_hooks())
          self._techniques.append(tech)
          return tech
docs: Use an exploration technique with this SimulationManager.
  
          Techniques can be found in :mod:`angr.exploration_techniques`.
  
          :param tech:    An ExplorationTechnique object that contains code to modify
                          this SimulationManager's behavior.
          :type tech:     ExplorationTechnique
          :return:        The technique that was added, for convenience