Fixed bug on the simplification of trivial cyclic components.
Added tests.