Implements Simplifier

Simplifier simplify graph by using strong connected components.