perf: improve proof-over-applied cases in ToLCNF
#12814
+48
−10
Open
Loading