Then he should spend the rest of his life in prison. And it has always been legal to revoke citizenship for naturalized citizens who also have citizenship in another country.