Issue #5: If a function control mask is present, mask all vector assignments inside the control flow rebuild process of the vectorization