minor refactoring (make better use of newly refactored helper methods)
Fix specification test for trait