This approach can be utilized for roughing by enabling the choice Insert multiple step-down Z cuts in the Z Containment tab in the dialog. (Prime Remaining) Detect in this graphic that no toolpaths are calculated for surfaces which are horizontal. You should use this towards your benefit if you propose https://www.sedlacek-t.cz/reality/