disallow_random_traits is still broken