If you want to add snails I would do my research. I would pick a species that is small enough to be consumed even in its largest adult sizes, has a thin shell which can be easily cracked by redears, cats, or crayfish or whatever, and make sure that you have a species in the pond that will eat them regularly to keep the population under control.