( (S((C((B IF)(> 1)))1))
 ((S *)   ((B (I CYCLE))   ((C -)1) )) )

FACT  from Turner paper.
