Insights into the NHC-Catalyzed Formal [2 + 2 + 2] Cycloaddition of Ketenes with C=S Double Bond of Isothiocyanate (Communications in Computational Chemistry, 2016)