Con(ZFC+IFS_{W\!Ab\,L(V_{\alpha})})