add handling for SSANewSimbolic
getAllSubclasses added to ClassHierarchy
implementation for getInstanceKeyForSymbolicType
first implementation that works - more tests needed