Redid the suffix structure, it now generates correct code in all the cases for Correct.hs