Test converting traits in other files