A very very verbose debugging statement was written out but
Tian found that an extra vertex on the top edge of a hole is always
emitted. We could save one vertex by adding the point at the left
and by adding the ring in the down direction.