Properties:
Classes
Sequence
Declaration :
All public operations : m4
All public operations : m1 , m2
All public operations : m2 , m3