Automated verification of pulmonary vein isolation in radiofrequency‐ and cryoballoon‐guided ablation. Issue 7 (16th June 2017)