This rule lists all the finite state machines (FSM) of the design.
It might be a starting point for a manual review.