ERROR: Assert `formal' failed in passes/memory/memory_map.cc:234

[CrazybinaryLi]

My yosys version is 0.45+112 (git sha1 c8b42b7d4, clang++ 14.0.0-1ubuntu1.1 -fPIC -O3). I utilized the commands "clk2fflogic" and "chformal -lower" within my script to convert $assume and $assert cells into $check cells. However, I encountered the error message “ERROR: Assert `formal' failed in passes/memory/memory_map.cc:234”.