Strange behaviour of yosys on FSM while building for iCE40

Question

I have been toying with SpinalHDL and its SoCs and modules, but came to a general problem - almost none of the code that uses FSMs works. I nailed this issue down to Yosys,