Corrected version of the analyzer: Stable version