[S06] Transformed the input in order to use SCC