For years I thought this tree at our seasonal pond, was a Brazilian pepper (Schinus terebinthifolia). Finally, I decided to look more closely into its identity. A Brazilian pepper is, of course, one of the topmost invasive species, mostly where there is plenty of water, like Florida and Texas.