Bug 433189 unresolved proxies | |
Bug 433194 Issue 18972 Lifeline::interaction_uses_share_lifetime Boolean::implies(Bag(...)) | |
Bug 433195 Issue ? TypeElement/TypedElement typo | |
Bug 433204 Issue ? Set/OrderedSet retyurns | |
b) many result.is(1, 1) => result.is(1, 1.oclAsType(UnlimitedNatural)) | |
c) many constraints have no leading result= |