Added absolute-top level specs (first full one)
Added UpdateAnalyzer in high-high level specs