Issue #5: Made sure that internal variables of control flow statements will not be vectorized unnecessarily