Add two uncovered cases to substSC

Two trivial cases uncovered in `substSC` prevented certain programs from compiling. This patch fixes it.