From version 2021.f onwards, the "Intersection solutions" function in the "Edit" group will solve intersections between floor slabs and roofs automatically.