generalizing basic_generate_strategy test to multi tree types
hard debugging ^^