Selective default could occur if for example EFSF were used to fund Greek debt buyback