ouch, trying to port leon3mp to openlane, but abc gave up on me

10. Executing ABC pass (technology mapping using ABC).

10.1. Extracting gate netlist of module `\leon3mp' to `/tmp/yosys-abc-UZ9pEI/input.blif'..
Extracted 288223 gates and 408148 wires to a netlist network with 119747 inputs and 118585 outputs.

10.1.1. Executing ABC.
Running ABC command: /usr/local/bin/yosys-abc -s -f /tmp/yosys-abc-UZ9pEI/abc.script 2>&1
ABC: ABC command line: "source /tmp/yosys-abc-UZ9pEI/abc.script".
ABC:
ABC: + read_blif /tmp/yosys-abc-UZ9pEI/input.blif
ABC: Warning: Constant-0 drivers added to 176 non-driven nets in network "netlist":
ABC: ys__n1175, ys__n1216, ys__n3241, ys__n3242 ...
ABC: + read_lib -w /Users/ronaldv/Projects/repositories/openlane/designs/leon3mp/runs/06-08_19-19//tmp//trimmed.lib
ABC: Parsing finished successfully.  Parsing time =     0.01 sec
ABC: Scl_LibertyReadGenlib() skipped sequential cell "sky130_fd_sc_hd__dfbbn_2".
ABC: Scl_LibertyReadGenlib() skipped sequential cell "sky130_fd_sc_hd__dfrbp_2".
ABC: Scl_LibertyReadGenlib() skipped sequential cell "sky130_fd_sc_hd__dfrtp_4".
ABC: Scl_LibertyReadGenlib() skipped sequential cell "sky130_fd_sc_hd__dfstp_4".
ABC: Scl_LibertyReadGenlib() skipped sequential cell "sky130_fd_sc_hd__dfxbp_2".
ABC: Scl_LibertyReadGenlib() skipped sequential cell "sky130_fd_sc_hd__dfxtp_4".
ABC: Library "sky130_fd_sc_hd__tt_025C_1v80" from "/Users/ronaldv/Projects/repositories/openlane/designs/leon3mp/runs/06-08_19-19//tmp//trimmed.lib" has 43 cells (6 skipped: 6 seq; 0 tri-state; 0 no func; 0 dont_use).  Time =     0.03 sec
ABC: Memory =    1.90 MB. Time =     0.03 sec
ABC: + read_constr -v /Users/ronaldv/Projects/repositories/openlane/designs/leon3mp/runs/06-08_19-19//tmp/synthesis/yosys.sdc
ABC: Setting driving cell to be "sky130_fd_sc_hd__inv_8".
ABC: Setting output load to be 17.650000.
ABC: + read_constr /Users/ronaldv/Projects/repositories/openlane/designs/leon3mp/runs/06-08_19-19//tmp/synthesis/yosys.sdc
ABC: + fx
ABC: Abc_NtkFastExtract: Nodes have duplicated fanins. FX is not performed.
ABC: + mfs
ABC: Assertion failed: (LevFanin >= Lev), function Abc_NtkUpdateReverseLevel, file src/base/abci/abcTiming.c, line 1362.
sh: line 1: 63474 Abort trap: 6           /usr/local/bin/yosys-abc -s -f /tmp/yosys-abc-UZ9pEI/abc.script 2>&1
ERROR: ABC: execution of command "/usr/local/bin/yosys-abc -s -f /tmp/yosys-abc-UZ9pEI/abc.script 2>&1" failed: return code 134.