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=
