Generate more than one cycle in smtbmc trace

I'm doing formal verification with SymbiYosys, Yosys and GHDL. I was wondering if it is possible to generate the trace file with the previous cycle to the one which is UNSAT. I haven't found any info in the Yosys and SymbiYosys docs.