Bug(&mfsd): Not working on K = 5 or K = 6

[wjrforcyber]

Issue found on ABC version :
Commit 79456fa

Which command:
&mfsd

Description:
&mfsd manual indicates that &mfsd works on K=5 or K=6, but
On CentOS 7 while with gdb it fails on

abc/src/opt/sbd/sbdCore.c

Line 1408 in 79456fa

assert( nNodesDiff >= 0 && nNodesDiff <= 3 );

abc/src/opt/sbd/sbdCore.c

Line 1471 in 79456fa

assert( nNodesDiff >= 0 && nNodesDiff <= 2 );

abc/src/opt/sbd/sbdCore.c

Line 1540 in 79456fa

assert( nNodesDiff >= 0 && nNodesDiff <= 3 );

Commenting all these 3 lines solve the problem on K=5 and K=6, and I have checked the equivalence already.

But on macOS Ventura 13.5.1, it just abort

UC Berkeley, ABC 1.01 (compiled Sep 14 2023 08:46:03)
================== Command history ==================
source -s abc.rc
&r i10.aig
&mfsd -K 5
=====================================================
abc 01> &r i10.aig
abc 01> &mfsd -K 5
[1]    56725 abort      ./abc

and commenting above 3 lines doesn't solve the problem.