On the Regularity of the Critical Point Infinity of Definitizable Operators