Issue 17861: Two anonymous invariants (uml25-ftf)
Source: Nomos Software (Dr. Edward Willink, ed(at)willink.me.uk)
Nature: Revision
Severity: Significant
Summary: Two anonymous invariants violates distinguishability.
Simpler
inv BehaviorHasResult: behavior <> null impliesbehavior.ownedParameter->size() = 1 and behavior.ownedParameter->forAll(direction=ParameterDirectionKind::return)

Resolution: 
Revised Text: 
Actions taken:
September 26, 2012: received issue
Discussion: 

End of Annotations:=====
s is issue # 17861

Problem: 8.054

Severity: Medium
Type: Error
Location: 8.6 p 95 OpaqueExpression Constraints
Title: Two anonymous invariants
Description:
Two anonymous invariants violates distinguishability.
Simpler
inv BehaviorHasResult: behavior <> null impliesbehavior.ownedParameter->size() = 1 and behavior.ownedParameter->forAll(direction=ParameterDirectionKind::return)
Source: Edward Willink