added more precise check if a trait is used (traits may use other traits, too)