Added some to optimizer and analyzer in comp-design
Added analyzer in general to impl