Start with scc.ss, and in a new module implement cc+h-red. You should not change scc.ss, but instead extended it as illustrated in the book chapter II.3.