Not mapped points in LEC when using DC netlist

Hello,

I am trying to run LEC on a netlist from DC (This netlist has already passed Formality successfully).

When running in LEC, I have about 30 DFFs that are not mapped in the golden, since DC removed them. My suspect is that DC removed them due to optimization of feedbacks (means, each of those DFFs have its output connected back to its own input rather than other inputs, so DC optimizes these cases as a special case of floating output).

I've tried to use the commands: 'set_flatten_model -seq_constant -seq_constant_feedback'

and: 'eval read_setup_info $DC_LOG -type DCLOG'

None of these helped.

How can I help LEC deal with this case?

Thanks!

Adi