FSM coverage (RTL from CtoS)

I am trying to measuring FSM coverage of RTL code that tis generated with CtoS and co-simulated with its original TLM testbench (CtoS generates some wrappers for doing that).

I am passing -COVFILE covfile.ccf as an argument of ncsc_run. The covfile contains:

select_coverage -all -instance sc_main.channeldownsampleCb.tlm_instance.m_dut_vlog