Chapter 3. Building an EMF Bug Detector