Made some breakthroughs on CoveredHoleMetric from IHOP. This is a very hard
problem.
Authored by: nerius 2023-05-22
Parent: [r772]
Child: [r774]