CompactHardTruth improvements
This MR:
- Improves the coding style in the CompactHardTruth following suggestion in !40157 (merged)
Should be merged after !40157 (merged)
Edited by Andrii Verbytskyi
This MR:
Should be merged after !40157 (merged)