Double checking that the pool drainage is set up correctly in a pool with a jacuzzi & infinity edge in Nicaragua. I am missing something in translation and want to make sure the pool drainage pipes are correct. Pool builder says all 4 drainage pipes (jacuzzi, 2 pool, 1 infinity catchment basin) are fine to be connected to the same 2" drainage pipe. Another guy on the job site is saying that will not work. He says the atchment basin needs to be on its own drain line. Saying if the catchment basin is not on its own line, the pool will not stay full? Can anyone explain to me what he is talking about? Thanks!