Making progress on actual judgePit() function in CoveredHoleMetric.
Authored by: nerius 2023-05-26
Parent: [r789]
Child: [r791]
