s-check, s-check-test, s-let, s-var, s-user-block should have already been desugared