Concrete analysis is a class rather than an object
refactoring
Available Expressions analysis