Analyzer: now compatible with the new traceur version.
Analyzer: remove redundant argument check.