Intron sequences involved in lariat formation during pre-mRNA splicing