Assertions involved in operation cycles are replaced by unit productions to prevent them from provoking a character set approximation that would not otherwise occur.
That is, a production of form
X -> assertOp(Y,Z) can be replaced with
X -> Y.
Strongly connected components are found independently of {@link OperationCycleApproximation}, so any components that might be broken by this approximation will not be subject to character set approximation afterwards.
@author Asger