Adding specs for static part of the analysis.