Analytic discs and extension of CR functions