The incidence and clinical significance of non-isolation of the pulmonary vein carina after encircling ipsilateral pulmonary veins isolation for paroxysmal atrial fibrillation: a pitfall of the double-Lasso technique | Synapse