Analyze traits recursive

Detect a trait when using them via an intermediate trait.