diff --git a/src/funcheck/AnalysisComponent.scala b/src/funcheck/AnalysisComponent.scala
index ee82013c588c8a19222d436a8df6b059e87989ae..45a4ae5fdb60f6ebbeaa9d393f052503f6b2b53b 100644
--- a/src/funcheck/AnalysisComponent.scala
+++ b/src/funcheck/AnalysisComponent.scala
@@ -4,9 +4,11 @@ import scala.tools.nsc._
 import scala.tools.nsc.plugins._
 import scalacheck._	
 
-class AnalysisComponent(val global: Global, val pluginInstance: FunCheckPlugin) extends PluginComponent
+class AnalysisComponent(val global: Global, val pluginInstance: FunCheckPlugin)
+  extends PluginComponent
+  with NameAnalyzer
   with CodeExtraction
-  // with ScalaCheckIntegrator
+  // with ScalaCheckIntegrator // Mirco's stuff.
 {
   import global._
 
diff --git a/src/funcheck/NameAnalyzer.scala b/src/funcheck/NameAnalyzer.scala
new file mode 100644
index 0000000000000000000000000000000000000000..2421ed7f39ab986054c5836c748ea2918133c139
--- /dev/null
+++ b/src/funcheck/NameAnalyzer.scala
@@ -0,0 +1,20 @@
+package funcheck
+
+import scala.tools.nsc._
+import scala.tools.nsc.plugins._
+
+import purescala.Definitions._
+import purescala.Trees._
+import purescala.TypeTrees._
+import purescala.Common._
+
+trait NameAnalyzer extends Extractors {
+  self: AnalysisComponent =>
+
+  import global._
+  import StructuralExtractors._
+  
+  def collectNames(unit: CompilationUnit): Unit = {
+
+  }
+}