CheckAlgorithm not forwarded

The `check` dispatches in `src/utils/multilogiset.jl` never forwards their first argument (of type `CheckAlgorithm`) to the inner, specialized call of `check`.

The issue is in src/utils/multilogiset.jl. Look for the `check` dispatches and identify where the CheckAlgorithm argument is not being passed to the inner specialized call. Review the function signatures and calls to ensure the algorithm parameter is forwarded correctly. Run any existing tests related to multilogiset to verify the fix.

由索引模型根據 Issue 內容生成。