Added implicit definition analysis.