Hi, I am working on MooseModels of Smalltalk code. There are some things that I feel strange: - there are some FAMIXAnnotationTypes and thus also FAMIXAnnotationTypeAttribute in Smalltalk. The comments of these classes refer to Java and never to ST. It seems corresponding to pragma such as: <expected failure>. - the FAMIXGlobalVariables have their belongsTo equals to nil. Only the declaredType is defined. - some FAMIXInvocations have no receiver. It seems that when a method m1 refers to a method m2 that does not belong to the model, the receiver is considered as nil. In Java, due to the statically typed character, we would have had a stub corresponding to m2. But in ST, because of the dynamically typed character, the receiver is nil. It means that before performing actions on Invocations, we have to ensure that they have receiver. Are we aware of that? Do we agree with that? If I can get you feedback on that points, it would be great. Thanks in advance. Anne