Bugfixes to mic vectorization analysis