analysis: added Scope to do use/type analysis