PSL sequence repetition not supported

[Blebowski]

PSL sequence repetition is not supported during elaboration:

-- psl SERE_0_c : cover {req; avalid; busy[->3]; adone} report "Address phase completed";

When I try to elaborate, I receive:

nvc --std=08 --work=lib_psl_sere_concat -a  ../src/pkg.vhd ../src/sequencer.vhd ../src/hex_sequencer.vhd
nvc --std=08 --work=lib_psl_sere_concat -a --psl ../src/psl_sere_concat.vhd
nvc --std=08 --work=lib_psl_sere_concat -a tb_tops/psl_sere_concat/testbench.vhd
nvc --std=08 --work=lib_psl_sere_concat -e --cover tb_psl_sere_concat
** Fatal: cannot handle PSL kind P_REPEAT in build_sere
    > ../src/psl_sere_concat.vhd:41
    |
 41 |   -- psl SERE_0_c : cover {req; avalid; busy[->3]; adone} report "Address phase completed";
    |                                             ^^^^^
make: *** [Makefile:16: psl_sere_concat] Error 1

Steps to reproduce:

git clone https://github.com/Blebowski/psl_with_ghdl
cd psl_with_ghdl
git checkout babdb223237aedae82e6321f8c54f78bf6271c04
cd sim
make psl_sere_concat