This reverts commit fde71165f4. Now that TranslateClauseWithTerminator is fixed without breaking sk numbers.
fde71165f4