let
fixpoint s uc = incr cpt_fix;
if
dot
then
Dot
.fixpoint s uc