Analysis up to Class Definitions