Fixed cyclic models detection