Various if forms should have already been desugared