Fix a bug of ForbidSIMC