lec command does not produce a result when using a TCL script

I am using a TCL script for log optimisation (rf) and check equivalents (lec).

read_graphml dynamic_node_orig.graphml
save_point p1
stat_design
logopt rf
save_point p2
lec p1 p2
stat_design
exit

But for lec command in output no result, only execution time and returned code.

> read_graphml [returned 0]: 0.387559s
> save_point [returned 0]: 0.000026s
Design  'Design'
PIs     2708
POs     2575
Subnets 1
Cells   23377 (incl. PI/PO)
        18094
Depth   32
SwActiv 9039.381836
> stat_design [returned 0]: 0.041345s
  - rf: 14.484552s -> -126 [0.70%] 
> logopt [returned 0]: 14.484694s
> save_point [returned 0]: 0.020732s
> lec [returned 0]: 22.429772s
Design  'Design'
PIs     2708
POs     2575
Subnets 1
Cells   23251 (incl. PI/PO)
        17968
Depth   35
SwActiv 9035.333984
> stat_design [returned 0]: 0.040294s

dynamic_node_orig.graphml