I think the most important question is "when?" In recent weeks they have been speaking about moving the Ercan flights to the domestic terminal, even though they would still politically be considered "international" flights. However I do not know 100% if they are going to do this and if so, when it will start.