[m-rev.] for post-commit review: break up det_report.m

[Julien Fischer]

On Tue, 11 Mar 2025 at 23:27, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
> Replace det_report.m with det_check_{proc,goal,switch}.m.

That looks fine.

Julien.