test
Interface I1

All Known Subinterfaces:
I11, I111
All Known Implementing Classes:
C11, C111, C12, C121, C13, C2

public interface I1

Invariants :
- true