Include traits in verification