Microlocal hypo-analyticity and extension of CR functions