Support for looking up Definitions
Tests for Imports and DefOps
Handle imports during MethodLifting/RestoreMethods
Use searchByFullName during CodeExtraction