Tidy up fc.pro ?

[Jean-Luc-Picard-2021]

I cannot verify:

[wrong_failure,(0<->1)<->(1<->((0<->1)<->1))]

https://github.com/ptarau/TypesAndProofs/blob/master/fc.pro

If I try fCube 4.1 here, it tells me everything is ok:

:- decide(((p<=>q)<=>(q<=>((p<=>q)<=>q)))).
1 search result = provable (fCube-4.1)

https://jsfiddle.net/Jean_Luc_Picard_2021/4L7zhb1x/17/

How should I read your fc.pro?