Novel occlusion tool software for pulmonary vein occlusion verification in atrial fibrillation cryoballoon ablation. (25th November 2020)