Edge of magnetized electronegative plasma ion source in the presence of collisional adiabatic thermal positive ions