Let be the generalized free products amalgamating . Let be residually finite. How to show that is -separable?

I'm sure that must be -separable. But I don't know how to show this.

I started with .

Since is residually finite, then there exists such that .

I'm trying to prove by contradiction, by assuming .

How can I continue from here?