Cyclicity

Compute whether or not a combinator is cyclic.