If I have some traits like: trait A {...} trait B extends A{...} trait C1 extends B{...} trait C2 extends A{...}